import java.util.Set;
import java.util.TreeSet;
import java.util.Iterator;

/**
 * Domain
*/
public class Domain {

    private Set<Integer> m_domain;
    
    Domain()
    {
       m_domain = new TreeSet<Integer>();
    }

    public void clear() {
        m_domain.clear();
    }

    public void add( Integer element ) {

        m_domain.add( element );
    }

    public boolean containsElement( Integer element ) {
        return m_domain.contains( element );
    }

    Iterator iterator() {
        return m_domain.iterator();
    }
}
